大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

0
索取号：
作者：Leite、 Jo茫o.、Omicini、 Andrea.、Torroni、 Paolo.、Yolum、 pInar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Intelligent Data Analysis VI [electronic resource] : 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005. Proceedings

0
索取号：
作者：Famili、 A. Fazel.、Kok、 Joost N.、Pe帽a、 Jos茅 M.、Siebes、 Arno.、Feelders、 Ad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Smart Graphics [electronic resource] : 5th International Symposium, SG 2005, Frauenw枚rth Cloister, Germany, August 22-24, 2005. Proceedings

0
索取号：
作者：Butz、 Andreas.、Fisher、 Brian.、Kr眉ger、 Antonio.、Olivier、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Spatial and Temporal Databases [electronic resource] : 9th International Symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005. Proceedings

0
索取号：
作者：Bauzer Medeiros、 Claudia.、Egenhofer、 Max J.、Bertino、 Elisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号：
作者：Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

0
索取号：
作者：Godefroid、 Patrice.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

0
索取号：
作者：Ong、 Luke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

0
索取号：
作者：Zucker、 Jean-Daniel.、Saitta、 Lorenza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

0
索取号：
作者：Fiadeiro、 Jos茅 Luiz.、Harman、 Neil.、Roggenbach、 Markus.、Rutten、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, L眉beck, Germany, August 17-20, 2005. Proceedings

0
索取号：
作者：Li艣kiewicz、 Maciej.、Reischuk、 R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Retrieval Technology [electronic resource] : Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers

0
索取号：
作者：Myaeng、 Sung Hyon.、Zhou、 Ming.、Wong、 Kam-Fai.、Zhang、 Hong-Jiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29鈥揝eptember 2, 2005. Proceedings

0
索取号：
作者：Je抬drzejowicz、 Joanna.、Szepietowski、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Bioinformatics and Computational Biology [electronic resource] : Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005. Proceedings

0
索取号：
作者：Setubal、 Jo茫o Carlos.、Verjovski-Almeida、 Sergio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

STACS 2005 [electronic resource] : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings

0
索取号：
作者：Diekert、 Volker.、Durand、 Bruno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

0
索取号：
作者：Grabowski、 Jens.、Nielsen、 Brian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

0
索取号：
作者：Kreowski、 Hans-J枚rg.、Montanari、 Ugo.、Orejas、 Fernando.、Rozenberg、 Grzegorz.、Taentzer、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院